GPS enabled semi-autonomous robot

The primary objective of this research is to integrate GPS and local sensory data to allow a robot to operate semi-autonomously outside of a laboratory environment. The Pioneer 3-AT, a robust platform capable of operating in the outdoors, is utilized in this thesis. The P3-AT has acoustic sensors that can calculate distances to obstacles and encoders that calculate how much each wheel has turned. In a laboratory environment, sensory and encoder information can be used to triangulate position or measure distance and direction traveled from a known starting point. Operating outdoors limits the effectiveness of both systems as the obstacles are not known and wheels can often slip and slide on different surfaces. This necessitates external data to determine the location of the robot. GPS was chosen to provide that data. GPS, acoustic, and encoder data were integrated within MATLAB and provided control signals to the robot. The robot successfully navigated to a user-defined goal.http://archive.org/details/gpsenabledsemiau1094556103Lieutenant, United States NavyApproved for public release; distribution is unlimited

Implementing a Theory of a Legal Domain

We describe a system for constructing, evaluating and visualising arguments based on a theory of a legal domain, developed using the Angelic methodology and the Carneades argumentation system. The visualisation can be used to explain particular cases and to refine and maintain the theory. A full implementation of the well known US Trade Secrets Domain is used to illustrate the process.</jats:p

Analysis of Dialogical Argumentation via Finite State Machines

Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation. Whilst numerous formal systems have been proposed, there is a lack of frameworks for implementing and evaluating these proposals. First-order executable logic has been proposed as a general framework for specifying and analysing dialogical argumentation. In this paper, we investigate how we can implement systems for dialogical argumentation using propositional executable logic. Our approach is to present and evaluate an algorithm that generates a finite state machine that reflects a propositional executable logic specification for a dialogical argumentation together with an initial state. We also consider how the finite state machines can be analysed, with the minimax strategy being used as an illustration of the kinds of empirical analysis that can be undertaken.Comment: 10 page

Metric for Security Activities assisted by Argumentative Logic

International audienceRecent security concerns related to future embedded systems make enforcement of security requirements one of the most critical phases when designing such systems. This paper introduces an approach for efficient enforcement of security requirements based on argumentative logic, especially reasoning about activation or deactivation of different security mechanisms under certain functional and non-functional requirements. In this paper, the argumentative logic is used to reason about the rationale behind dynamic enforcement of security policies

Transmission Properties of the oscillating delta-function potential

We derive an exact expression for the transmission amplitude of a particle moving through a harmonically driven delta-function potential by using the method of continued-fractions within the framework of Floquet theory. We prove that the transmission through this potential as a function of the incident energy presents at most two real zeros, that its poles occur at energies $n\hbar\omega+\varepsilon^*$ ($0<Re(\varepsilon^*)<\hbar\omega$), and that the poles and zeros in the transmission amplitude come in pairs with the distance between the zeros and the poles (and their residue) decreasing with increasing energy of the incident particle. We also show the existence of non-resonant "bands" in the transmission amplitude as a function of the strength of the potential and the driving frequency.Comment: 21 pages, 12 figures, 1 tabl

Senses of ‘argument’ in instantiated argumentation frameworks

Abstract Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different senses of argument, namely a single-step reason to a claim, a series of reasoning steps to a single claim, and reasoning steps for and against a claim. Concrete instantiations encounter difficulties and complexities as a result of conflating these senses. To distinguish them, we provide an approach to instantiating AFs in which the nodes are restricted to literals and rules, encoding the underlying theory directly. Arguments in these senses emerge from this framework as distinctive structures of nodes and paths. As a consequence of the approach, we reduce the effort of computing argumentation extensions, which is in contrast to other approaches. Our framework retains the theoretical and computational benefits of an abstract AF, distinguishes senses of argument, and efficiently computes extensions. Given the mixed intended audience of the paper, the style of presentation is semi-formal

Meta-Argumentation Frameworks for Multi-party Dialogues

Postprin